Astree: Nachweis der Abwesenheit von Laufzeit
نویسندگان
چکیده
Interpretation Based Static Analyzers. In
منابع مشابه
Signaturen stabiler Isotope in landwirtschaftlichen Produkten - Nachweis der Herkunft und Produktionsverfahrens
Die Herkunft von Lebensmitteln ist ein wichtiges Kriterium, welches das Kaufverhalten des Verbrauchers maßgeblich beeinflusst. Neben der geographischen Herkunft ist auch das Produktionsverfahren für den Verbraucher von Interesse, und dieses Interesse wird in speziellen Vermarktungswegen genutzt (‚Ökologischer Landbau’). Der Nachweis der Authentizität dieser Lebensmittel ist häufig schwierig. In...
متن کاملHybrides Scheduling
In dieser Arbeit wird ein hybrider Ansatz zur automatischen Parallelisierung von Computerprogrammen vorgestellt. Das Merkmal ” hybrid“ bezieht sich dabei auf das Scheduling, das teilweise zur Compilezeit und teilweise zur Laufzeit durchgeführt wird. Die Verlagerung des Schedulings in das eine oder andere Zeitfenster wird über die Berechenbarkeit der Ausführungszeitpunkte getroffen. Das Scheduli...
متن کاملEmpirische Untersuchungen zwei- und dreidimensionaler Darstellungen von zur Laufzeit erzeugten Objektstrukturen
Es werden die Methoden und Ergebnisse einer empirischen Studie vorgestellt, mit der der Nutzen zweidimensionaler und dreidimensionaler Visualisierungen von zur Laufzeit erzeugten Objektstrukturen in objektorientierten Systemen verglichen wurde. Es wird gezeigt, wie der effektive Nutzen von Visualisierungen dadurch gemessen und belegt werden kann, dass Testpersonen anhand von vorgelegten Visuali...
متن کاملZuverlässigkeitsbewertung einer Getriebesteuerungs-Software durch Auswertung der Betriebserfahrung
Für den Einsatz komplexer Softwaresysteme in sicherheitskritischen Anwendungsbereichen ist angesichts der schwerwiegenden Folgen von Versagen ein rigoroser Nachweis hoher Zuverlässigkeit angebracht und oft auch vorgeschrieben. Die während einer vorangegangenen Testoder Betriebsphase beobachtete fehlerfreie Funktionsweise deutet zwar auf ein zuverlässiges Produkt hin, jedoch fehlen bisher Method...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Softwaretechnik-Trends
دوره 29 شماره
صفحات -
تاریخ انتشار 2009